Type-checking change-color
...action passes type checking.
Type-checking paint-up
...action passes type checking.
Type-checking paint-down
...action passes type checking.
Type-checking up
...action passes type checking.
Type-checking down
...action passes type checking.
Type-checking right
...action passes type checking.
Type-checking left
...action passes type checking.
Checking plan: tiles_instance_3/plan.pddl
Plan to validate:

Plan size: 18
1:
(left robot1 tile_1-4 tile_1-3)
 
2:
(left robot1 tile_1-3 tile_1-2)
 
3:
(left robot1 tile_1-2 tile_1-1)
 
4:
(left robot1 tile_1-1 tile_1-0)
 
5:
(change-color robot1 white black)
 
6:
(paint-up robot1 tile_0-0 tile_1-0 black)
 
7:
(right robot1 tile_1-0 tile_1-1)
 
8:
(change-color robot1 black white)
 
9:
(paint-up robot1 tile_0-1 tile_1-1 white)
 
10:
(right robot1 tile_1-1 tile_1-2)
 
11:
(change-color robot1 white black)
 
12:
(paint-up robot1 tile_0-2 tile_1-2 black)
 
13:
(right robot1 tile_1-2 tile_1-3)
 
14:
(change-color robot1 black white)
 
15:
(paint-up robot1 tile_0-3 tile_1-3 white)
 
16:
(right robot1 tile_1-3 tile_1-4)
 
17:
(change-color robot1 white black)
 
18:
(paint-up robot1 tile_0-4 tile_1-4 black)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (robot-at robot1 tile_1-4)
Deleting (clear tile_1-3)
Adding (robot-at robot1 tile_1-3)
Adding (clear tile_1-4)
Updating (total-cost) (0) by 1 increase

Checking next happening (time 2)
Deleting (robot-at robot1 tile_1-3)
Deleting (clear tile_1-2)
Adding (robot-at robot1 tile_1-2)
Adding (clear tile_1-3)
Updating (total-cost) (1) by 1 increase

Checking next happening (time 3)
Deleting (robot-at robot1 tile_1-2)
Deleting (clear tile_1-1)
Adding (robot-at robot1 tile_1-1)
Adding (clear tile_1-2)
Updating (total-cost) (2) by 1 increase

Checking next happening (time 4)
Deleting (robot-at robot1 tile_1-1)
Deleting (clear tile_1-0)
Adding (robot-at robot1 tile_1-0)
Adding (clear tile_1-1)
Updating (total-cost) (3) by 1 increase

Checking next happening (time 5)
Deleting (robot-has robot1 white)
Adding (robot-has robot1 black)
Updating (total-cost) (4) by 5 increase

Checking next happening (time 6)
Deleting (clear tile_0-0)
Adding (painted tile_0-0 black)
Updating (total-cost) (9) by 2 increase

Checking next happening (time 7)
Deleting (robot-at robot1 tile_1-0)
Deleting (clear tile_1-1)
Adding (robot-at robot1 tile_1-1)
Adding (clear tile_1-0)
Updating (total-cost) (11) by 1 increase

Checking next happening (time 8)
Deleting (robot-has robot1 black)
Adding (robot-has robot1 white)
Updating (total-cost) (12) by 5 increase

Checking next happening (time 9)
Deleting (clear tile_0-1)
Adding (painted tile_0-1 white)
Updating (total-cost) (17) by 2 increase

Checking next happening (time 10)
Deleting (robot-at robot1 tile_1-1)
Deleting (clear tile_1-2)
Adding (robot-at robot1 tile_1-2)
Adding (clear tile_1-1)
Updating (total-cost) (19) by 1 increase

Checking next happening (time 11)
Deleting (robot-has robot1 white)
Adding (robot-has robot1 black)
Updating (total-cost) (20) by 5 increase

Checking next happening (time 12)
Deleting (clear tile_0-2)
Adding (painted tile_0-2 black)
Updating (total-cost) (25) by 2 increase

Checking next happening (time 13)
Deleting (robot-at robot1 tile_1-2)
Deleting (clear tile_1-3)
Adding (robot-at robot1 tile_1-3)
Adding (clear tile_1-2)
Updating (total-cost) (27) by 1 increase

Checking next happening (time 14)
Deleting (robot-has robot1 black)
Adding (robot-has robot1 white)
Updating (total-cost) (28) by 5 increase

Checking next happening (time 15)
Deleting (clear tile_0-3)
Adding (painted tile_0-3 white)
Updating (total-cost) (33) by 2 increase

Checking next happening (time 16)
Deleting (robot-at robot1 tile_1-3)
Deleting (clear tile_1-4)
Adding (robot-at robot1 tile_1-4)
Adding (clear tile_1-3)
Updating (total-cost) (35) by 1 increase

Checking next happening (time 17)
Deleting (robot-has robot1 white)
Adding (robot-has robot1 black)
Updating (total-cost) (36) by 5 increase

Checking next happening (time 18)
Deleting (clear tile_0-4)
Adding (painted tile_0-4 black)
Updating (total-cost) (41) by 2 increase
Plan executed successfully - checking goal
Plan valid
Final value: 43 

Successful plans:
Value: 43
 tiles_instance_3/plan.pddl 43 

plan is valid!!